-
1 формальное доказательство
Русско-английский словарь по вычислительной технике и программированию > формальное доказательство
-
2 формальное доказательство
Русско-английский математический словарь > формальное доказательство
-
3 формальное доказательство
Русско-английский словарь по общей лексике > формальное доказательство
-
4 формальное доказательство
Русско-английский синонимический словарь > формальное доказательство
-
5 доказательство
proof (of), demonstration (of), argument, evidence (for)•Альтернативное доказательство может быть получено (путем, на пути)... - An alternate proof may be obtained by...• Альтернативное доказательство оставлено в качестве упражнения 1.3. - An alternative proof is left to Exercise 1.3.• Безо всяких доказательств мы просто утверждаем, что... - Without going into any proofs, we simply state that...• Более простое прямое доказательство было дано Смитом [1]. Мы следуем его методу. - A simpler direct proof was given by Smith [1], whose method we follow here.• В качестве упражнения мы оставляем читателю доказательство, что... - It is left as an exercise for the reader to show that...• Вдобавок, это доказательство можно слегка упростить... - Incidentally, this proof can be made somewhat simpler by...• Дадим формальное доказательство (этого). - The formal proof is as follows.• Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.• Данное доказательство существенно основывается на нашем предположении, что... - The proof rests fundamentally on our assumption that...• Для доказательства второго утверждения (теоремы) мы выписываем... - То prove part (ii), we write...• Для нашего доказательства удобно использовать... - For our proof it is convenient to use...• Доказательство (теоремы) довольно длинное, поэтому мы разобьем его на несколько шагов. - The proof is rather long, so we shall break it up into several steps.• Доказательство (этого факта, этой теоремы и т. п.) простое, и потому мы оставляем его читателю. - The proof is simple; we leave it to the reader.• Доказательство леммы закончено (= завершено). - The proof of the lemma is finished; This proves the lemma.• Доказательство не закончено до тех пор, пока мы не... - The proof is not complete until we...• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Доказательство проводится методом индукции по п. - The proof is by induction on n.• Доказательство проводится от противного. - The argument is by reductio ad absurdum.• Доказательство следует почти немедленно из определения... - The proof is almost immediate from the definition of...• Доказательство становится неверным, если... - The proof breaks down if...• Доказательство теоремы завершено. - This completes the proof; The theorem is proved; QED• Доказательство этого легкое (= несложное). - The proof is easy.• Доказательство этого факта подобно доказательству теоремы 2. - This proof is similar to the proof of Theorem 2.• Другое доказательство намечено в упражнении 2. - An alternative proof is outlined in Exercise 2.• Его доказательство является достаточно элементарным. - The proof is quite elementary.• Затем мы переключаем наше внимание на доказательство того, что... - We turn our attention next to proving that...• Затем нам нужно будет одно особое доказательство, чтобы продемонстрировать, что... - We will then need a special argument to show that...• Здесь мы уже подошли к чисто геометрическому доказательству... - Here we have arrived at a purely geometrical proof of...• Имеются все доказательства того, что... - There is every indication that...• Метод доказательства аналогичен методу, использованному Бляшке [3]. - The proof method is analogous to the method used by Blashke [3].• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Мы накопили ряд убедительных доказательств того, что... - We have amassed a convincing body of evidence that...• Мы начинаем доказательство с... - We begin the proof by...• Мы начинаем с доказательства двух лемм. - We begin by proving two lemmas.• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы опустим доказательство этого утверждения. - We will omit the proof of this statement.• Мы оставляем читателю доказательство противоположного утверждения. - We leave the converse proof to the reader.• Мы оставляем читателю дополнить детали (доказательства). - The details are left to the reader,• Мы примем этот важный факт без доказательства. - We shall accept this important fact without proof.• Мы рассуждаем так же, как при доказательстве теоремы 1. (= Мы полностью повторяем рассуждения из доказательства теоремы 1. ) - We argue exactly as in the proof of Theorem 1.• Наш первый шаг состоит в доказательстве, что... - Our first task is to prove...• Наше доказательство, в основном, повторяет доказательство леммы 2 из [1]. - Our proof follows along the lines of Lemma 2 of [1].• Небольшое изменение этого доказательства показывает, что... - A minor modification of the proof shows that...• Нет никаких экспериментальных доказательств, показывающих, что... - There is no experimental evidence to indicate that...• Однако (его/ее) доказательство не является настолько простым, как можно было бы подумать (= вообразить). - The proof, however, is not as easy as one might think.• Однако доказательство данной гипотезы сложное, потому что... - However, proof of this hypothesis is difficult because...• Однако имеется огромное множество доказательств (= свидетельств) того, что... - But there is a great deal of evidence that...(= предоставляется) читателю. - The remainder of the proof is left to the reader.• Остальная часть доказательства проводится уже более или менее просто. - The rest of the proof is now more or less straightforward.• В работе Смита [1] приведено доказательство при менее ограничительных условиях. - For a proof under less restrictive conditions, see Smith [1].• Перед тем как мы сможем завершить доказательство, мы должны... - Before we can complete the proof, we must...• Полученное противоречие завершает доказательство. - This contradiction completes the proof.• Предшествующее доказательство принадлежит лорду Рэлею [1]. - The foregoing proof is due to Lord Rayleigh [1].• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Простейшее доказательство базируется на идее, что... - The simplest proof rests on the concept of...• Простое и прямое доказательство может быть получено... - A simple and direct proof can be obtained by...• Разобьем доказательство на два шага (= две части). - We shall divide the proof into two steps.• С целью экономии места мы опускаем доказательство... - We omit the proof in order to save space; For reasons of space we omit the proof of...• Сейчас имеется огромное количество доказательств того, что... - There is now overwhelming evidence that...• Следующее доказательство является небольшой модификацией доказательства, данного Смитом [1]. - The following proof is a slight modification of that given by Smith [1].• Смит [1] дал общее доказательство того, что... - Smith [1] has given a general proof that...• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы приведем пропущенные детали доказательства. - We now proceed to fill in the details; We shall now fill in the details.• Убедительное доказательство этого утверждения предоставлено Смитом [1]. - Convincing proof of this statement is furnished by Smith [1].• Центральной частью доказательства является то, что... - The crux of the proof is that...• Чтобы завершить доказательство, мы... - In order to finish the proof, we...; Finally, we...• Чтобы завершить доказательство, мы выпишем... - For the remainder of the proof we write...• Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...• Чтобы закончить доказательство, мы... - In order to complete the proof, we...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Это доказательство легко изменить для того, чтобы показать, что... - The proof is easily adapted to show that...• Это доказательство основывается на факте, что... - The proof is based on the fact that...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это приводит к противоречию, и следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Этот метод доказательства весьма оригинален. - The method of proof is quite ingenious.• Этот метод доказательства довольно общий и применим к... - The method of proof is quite general and applies to...• Этот факт был отмечен без доказательства в главе 4. - This fact was noted without proof in Chapter 4. -
6 формальное доказательство
Русско-английский научный словарь > формальное доказательство
-
7 формальное доказательство
основательные, серьёзные доказательства — foundational proof
Русско-английский словарь по информационным технологиям > формальное доказательство
-
8 формальное доказательство
formal demonstration мат., formal proof, formal validationРусско-английский научно-технический словарь Масловского > формальное доказательство
-
9 доказательство
ср.proof, evidence; argument ( довод); demonstration; мн. ч. case (доводы, аргументы)приводить доказательства — to adduce/furnish evidence, to give/show proofs
бесспорное доказательство — incontestable proof, indisputable proof; decisive evidence, unambiguous/unassailable proof (of)
в доказательство — as proof (of), in witness (of)
веское доказательство — strong evidence, good probative evidence
наглядное доказательство — visual proof/evidence; visual/graphic demonstration
убедительное доказательство — compelling/strong evidence, convincing proof
-
10 формальный
(см. также верный, строгий) formal• Дадим формальное доказательство (этого). - The formal proof is as follows.•Представленное здесь рассмотрение было чисто формальным. - The treatment given here has been purely formal.• Следовательно, у нас получилось формальное решение для... - We therefore have a formal solution for...• Тем не менее эта формальная работа привела к конкретному результату. - Nevertheless, this formal work has produced a concrete result.• Формальное вычисление показывает, что... - A formal calculation shows that...• Формальный вывод (этого соотношения) приводится во втором параграфе. - A formal derivation is given in Section 2.• Формальным обоснованием того факта, что... - The formal foundation of the fact that the boundary conditions are... -
11 формальное доказательство
1) Mathematics: formal demonstration, formal proof, formal validation2) Law: requisite evidenceУниверсальный русско-английский словарь > формальное доказательство
-
12 давать
(= дать, обеспечивать, см. также даваться) give, produce, yield, furnish, contribute, offer, afford, give rise to, result in, provide, lead to• В данный момент невозможно дать... - It is not possible at this time to give...• В следующей главе мы дадим количественное представление... - In the next chapter we give a more quantitative account of...• В этом параграфе мы даем краткое введение в... - In this section we give a brief introduction to...• Все вероятности, сложенные вместе, в сумме должны дать единицу. - All the probabilities taken together must add up to 1.• Вышеупомянутые теоремы дают нам... - The foregoing theorems give us...• Давайте рассмотрим детально... - Let us look in detail at...• Дадим этому формальное доказательство. - The formal proof is as follows.• Данная классификация почти ничего не дает нам относительно... - This classification tells us very little about...• Значение наших методов состоит в том, что они дадут... - The significance of our methods is that they will yield...• Метод дал улучшение результатов (= улучшенные результаты). - The method gave improved results.• Мы дадим несколько эквивалентных формулировок (чего-л). - We will give some equivalent formulations of...• Мы можем дать альтернативное определение... - It is possible to give an alternative definition of...• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Особое рассмотрение должно быть дано (= Необходимо особо рассмотреть)... - Special consideration must be given to...• Перед тем как продолжить (обсуждение), мы прервемся, чтобы дать... - Before going further we pause to give...• Повторное применение соотношения (1) дает соотношение (2). - Repeated application of (1) gives (2).• Подстановка этих значений дает нам... - Substituting these values gives us...• Пусть дан... - Given...; Let there be given...• Пусть дано значение xq. - Suppose xq is given,• Следующая теорема дает (= описывает) условия, при которых... - The following theorem gives conditions under which...• Тем не менее, развитые нами методы дают основание для... - However, the methods we have developed provide a basis for...• Теперь мы дадим краткое заключение (о)... - We now give a brief account of...• Чтобы ответить на этот вопрос, давайте... - То answer this question, let us...• Чтобы показать, что это невозможно, давайте... - То show that this is not possible, let...• Чтобы установить соотношение (1), давайте... - То establish (1), let us...• Эта книга дает современное описание... - This book provides an up-to-date description of...• Это дает основание ожидать, что... - This causes us to anticipate that...• Это дает основание полагать, что... - This suggests that...• Это даст нам необходимую характеристику (чего-л). - This will give us the required characterization of...• Это уже дает некоторую информацию относительно... - This already gives some information about...• Этот метод дает хорошие результаты только если... - The method works well only if...• Этот результат дает более точное необходимое условие для... - This provides a sharper necessary condition for...• Этот случай дает прекрасный пример (чего-л). - This case provides an excellent example of... -
13 доказывание с помощью формальных доказательств
Law: formal proofУниверсальный русско-английский словарь > доказывание с помощью формальных доказательств
-
14 установление факта формальными доказательствами
Law: formal proofУниверсальный русско-английский словарь > установление факта формальными доказательствами
-
15 формально-логическое доказательство
Linguistics: formal proofУниверсальный русско-английский словарь > формально-логическое доказательство
-
16 строгий
(см. также формальный, верный) rigorous, strict, close, rigid, severe• Не вдаваясь в строгие рассмотрения, обсудим вкратце... - Without giving a rigorous treatment we briefly discuss...• Не делая попыток более строгого обсуждения, мы просто заметим, что... - Without attempting a more rigorous discussion, we merely note that...• Относительно строгого вывода соотношения (12) читатель должен обратиться к работе Смита [1]. - For a rigorous derivation of (12) the reader is referred to Smith [1].• Приведем строгое доказательство. - The formal proof is as follows.• Следующая теорема показывает как можно сделать это определение строгим. - The following theorem shows how this notion can be made precise.• Строгая теория должна принимать во внимание (эффект и т. п.). - A comprehensive theory must account for...• Строгое обсуждение будет дано в главе 2. - A rigorous discussion will be given in Chapter 2.• Строгое рассмотрение задачи показывает, что... - A rigorous treatment of the problem shows that...• Теперь мы построим строгую версию предыдущего рассуждения. - We shall now construct a rigorous version of the above argument.• Этим устанавливается довольно строгая форма (чего-л). - This establishes a rather strong form of...• Это нестрогое рассуждение приводит нас к... - This crude argument leads to... -
17 приводить
reduce, reduce to, bring, cite, deduce, list, adduce, enter• Были приведены дальнейшие аргументы, показавшие, что... - Further arguments were given which showed that...• Было бы легко привести значительно больше примеров... - It would be easy to give many more examples of...• В основном, различные подходы приводят к... - Different approaches will, in general, lead to...• В свою очередь это может привести к тому, что... - This in turn can lead to...• В таблице 1 мы приводим вместе все данные относительно... - In Table 1 we summarize the...• В этом приложении мы приводим результаты... - In this appendix we present the results of...• Все эти данные приводили к очевидному требованию, что... - All this evidence led to a clear requirement that...• Дальнейшее рассуждение затем привело бы к идее... - Further argument would then lead to the idea of...• Данная процедура может быть продолжена, она приводит к... - The procedure can be continued, yielding...• Здесь мы приводим другой пример (чего-л). - We give here another example of...• Здесь мы приводим некоторые формулы для... - Неге we give some formulae for...• Исследование каждого случая отдельно приводит к... - Examination of each individual case leads to...• Можно привести еще одно замечание. - One further observation may be made.• Мы можем привести геометрическую интерпретацию для... -It is possible to give a geometric interpretation of...• Мы не можем привести здесь полный ответ. - We cannot give a complete answer here.• Мы не приводим это рассуждение со всеми подробностями по следующим причинам. - We do not present this argument in detail for the following reasons.• Мы приводим ниже значения для... - We quote below the values of...• Мы теперь приведем приложение уравнения (5). - We now give an application of (5).• Это привело нас к предложению, что... - We are led to the suggestion that...• Наши рассуждения в предыдущем параграфе могли бы привести нас к предположению, что... - Our work in the previous section might lead us to suspect that...• Однако здесь можно привести очень грубый довод. - A very rough reason, however, can be given here.• Описанный здесь метод всегда приводит... - The procedure described here always yields...• Перед тем как продолжить приводить примеры, мы приведем важное замечание, что... - Before proceeding to give examples, we make the important observation that...• Подобные повреждения могут привести к потере... - Such injuries can result in a loss of...• Понятно, что только один этот процесс не мог бы привести к... - Clearly such a process alone could not lead to...• Предыдущее обсуждение приводит к идее, что... - The preceding discussion leads to the idea that...• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Приведем исключения, которые указывает Смит [1]. - Smith [1] points out certain exceptions as follows.• Приведем некоторый основной критерий для... - Let us list some major criteria for...• Приведем соответствующие численные величины:... - The corresponding numerical values are as follows:...• Приведем теперь пример, в котором... - We now give an example in which...• Процесс приводит к замене в... - The process leads to a change in...• Следовательно, мы обязаны попытаться развить теорию, которая приводит к... - Hence, we must try to develop a theory that leads to...• Смит [1] приводит убедительный пример существования... - Smith [l] makes a persuasive case for the existence of...• Сначала мы приведем некоторый дополнительный материал относительно... - We begin with some additional material relating to...• Сначала мы приведем один результат из... - We first quote a result from...• Такая практика приводит к серьезным недоразумениям. - This practice leads to serious confusion.• Тем не менее эта формальная работа привела к конкретному результату. - Nevertheless, this formal work has produced a concrete result. I• Тем самым нас довольно настойчиво приводит к идее, что... - This suggests quite strongly that...• Теперь мы приведем некоторые экспериментальные данные относительно... - We shall now give some experimental data concerning...• Теперь мы приведем список наиболее важных тождеств, включающих... - We shall now list the most important identities involving...• Теперь мы приведем явную характеристику... - We now give an explicit characterization of...• Теперь приведем несколько конкретных примеров. - A few concrete examples are in order.• Чтобы привести еще более простой пример, мы можем рассмотреть... - То take an even simpler example, we can consider...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Эти кажущиеся тривиальными результаты приводят к... - These seemingly trivial results lead to...• Эти результаты мы приводим в таблице 1 для трех значений г. - The results are set out in Table 1 for three values of r.• Это выражение можно привести к более удобному виду. - This expression can be put in a more convenient form.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это естественным образом приводило к различным схемам для... - It led naturally to various schemes for...• Это заключение базируется на тех же самых идеях, которые приводят к... - This conclusion is based on the same ideas that lead to...• Это могло бы также привести к лучшему пониманию... - This could also lead to a better understanding of...• Это не приведет к ошибке, потому что... - This will not give rise to confusion because...• Это не приводит ни к каким концептуальным трудностям, однако... - This introduces no conceptual difficulties, but...• Это нестрогое рассуждение приводит нас к... - This crude argument leads to...• Это позволяет нам привести уравнение (1) к следующему виду... - This enables us to reduce (1) to the form...• Это привело нескольких авторов к заключению, что... - This has led several authors to believe that...• Это приводит к возникновению так называемого... - This gives rise to the so-called...• Это приводит к возрастанию... - This involves an increase in...• Это приводит к выводу, что... - This carries the implication that...• Это приводит к концепции... - This leads to a conception in which...• Это приводит к новым концепциям. - This leads to new conceptions.• Это приводит к полезным методам обращения с... - This leads to useful ways of dealing with...• Это приводит к противоречию, и, следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Это приводит к рассмотрению темы... - This leads into the topic of...• Это приводит к следующему определению. - This motivates the following definition.• Это приводит к тому, что известно как... - This leads to what is known as...• Это приводит нас к важному свойству... - This leads us to an important property of...• Это приводит нас к идее постулировать существование... - This leads us to postulate the existence of...• Этот результат автоматически приводит к необходимости изучения... - This result automatically leads to a study of... -
18 формальное доказательство правильности программы
Information technology: formal program proof, formal program validationУниверсальный русско-английский словарь > формальное доказательство правильности программы
-
19 теория
analysis, science, theory* * *тео́рия ж.
theoryвыдвига́ть тео́рию — advance [propose] a theoryобъясня́ть что-л. на основа́нии тео́рии — explain smth. on a theoryотказа́ться от тео́рии — abandon a theoryотклоня́ть тео́рию — reject a theoryподтвержда́ть тео́рию эксперимента́льно — verify a theory by experimentпринима́ть [признава́ть] тео́рию — accept a theoryтео́рия автомоде́льности — similarity theoryтео́рия адсо́рбции Бруна́уэра—Эмме́тта—Те́ллера — BET theory of adsorptionтео́рия Ба́рдина—Ку́пера—Шри́ффера [БКШ] — Bardeen-Cooper-Schrieffer [BCS] theoryтео́рия больши́х сигна́лов — large signal theoryтео́рия бу́левых а́лгебр — Boolean calculusтео́рия вероя́тностей — theory of probability, probability theoryтео́рия Ви́нера — prediction theoryтео́рия возмуще́ний мат. — perturbation theoryтео́рия второ́го приближе́ния — second-order theoryтео́рия вы́борочного ме́тода стат. ( не путать с отсчё́тами в теории сообщений) — theory of samplingтео́рия вы́четов — residue theoryтео́рия гра́фов мат. — graph theoryтео́рия групп мат. — group theory, theory of groupsтео́рия дво́йственности — duality theoryтео́рия доказа́тельства — proof theoryтео́рия Друде́—Ло́ренца элк. — Drude-Lorentz theoryтео́рия игр мат. — theory of games, game(s) theoryтео́рия информа́ции — general theory of communication, information theoryква́нтовая тео́рия — quantum theoryтео́рия кисло́т и основа́ний — acid-base theoryкласси́ческая тео́рия — classical theoryтео́рия крыла́ — airfoil theoryлучева́я тео́рия — ray theoryтео́рия ма́лых сигна́лов — small signal theoryтео́рия ма́ссового обслу́живания — queueing [waiting-line] theoryтео́рия ме́ры мат. — measure theoryтео́рия мно́жеств — set theoryтео́рия надё́жности — reliability theoryтео́рия наибо́льших деформа́ций — ultimate strain theoryтео́рия относи́тельности — theory of relativityтео́рия относи́тельности, о́бщая — general theory of relativity, general relativityтео́рия относи́тельности, специа́льная — special theory of relativityтео́рия очереде́й — queueing [waiting-line] theoryтео́рия оши́бок — error analysisтео́рия перено́са — transport theoryтео́рия подо́бия — similarity theoryтео́рия по́ля — field theoryтео́рия разме́рностей — dimensional theoryтео́рия регули́рования — control theoryтео́рия реле́йных схем — switching-circuit theoryтео́рия све́та, волнова́я — wave theory of lightтео́рия све́та, ква́нтовая — quantum theory of lightтео́рия све́та, корпускуля́рная — corpuscular theory of lightтео́рия соедине́ний — combinatorial mathematics, combinatoricsтео́рия сравне́ний — congruence theoryтео́рия статисти́ческих оце́нок — theory of estimationтео́рия столкнове́ний — collision theoryстро́гая тео́рия — rigorous theoryтео́рия твё́рдых тел, зо́нная — band theory of solidsтео́рия теплопереда́чи — heat-transfer theoryтео́рия управле́ния — control theoryтео́рия упру́гости — theory of elasticityтео́рия усто́йчивости — stability theoryфеноменологи́ческая тео́рия — phenomenological [formal] theoryформа́льная тео́рия — formal theoryтео́рия цве́тности — theory of colour valueтео́рия цепе́й — circuit [network] theoryтео́рия чи́сел — theory of numbers, number theory -
20 обоснование
(= оправдание, см. также обосновывать) proof, basis, ground, justification, verification• Для... не существует экспериментального обоснования. - There is no experimental foundation for...• Может быть лишь слабое научное или практическое обоснование для... - There can be little scientific or practical justification for...• Мы дадим обоснование (= вывод, доказательство)... - We shall prove...; We shall establish...• Обоснование данного предположения затрагивает теорию... - The justification of this assumption involves the theory of...• Обоснование для этих предположений находится единственно в... - The justification of these assumptions lies solely in...• Обоснование этого (факта и т. п.) будет ясно из дальнейшего. - The reason for this will soon be clear.• Обоснованием для этой схемы решения служит то, что... - The justification for this solution scheme is that...• Подобное (утверждение и т. п.) невозможно принять без дальнейшего обоснования. - One cannot, without further justification, accept such a...• Теперь мы можем дать обоснование обычной практике... - We can now justify the usual practice of...• Формальное обоснование того факта, что граничные условия... - The formal foundation of the fact that the boundary conditions are...• Это дает некоторое обоснование для использования соотношения (3.2). - This gives some justification for using (2.3).• Это само по себе является достаточным обоснованием, чтобы... - This in itself appears to be sufficient justification for...
Страницы
- 1
- 2
См. также в других словарях:
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Proof — may refer to: * A rigorous, compelling argument ** Formal proof ** Mathematical proof ** Proof theory, a branch of mathematical logic that represents proofs as formal mathematical objects ** Logical argument ** Evidence (law), tested evidence or… … Wikipedia
Proof-Carrying Code — (PCC) is a software mechanism that allows a host system to verify properties about an application via a formal proof that accompanies the application s executable code. The host system can compare the conclusions of the proof to its own security… … Wikipedia
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Formal — The term formal has a number of uses, including:General*relating to formality *opposite of informalocial* Formal occasion ** Formal attire worn on such occasions ** Formals are particular meals at some British universities ** In Australian or… … Wikipedia
Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… … Wikipedia
Formal specification — A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. It describes what the system should do, not (necessarily) how the system should do it. Given such a specification, it is… … Wikipedia
Proof-theoretic semantics — is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical… … Wikipedia
proof of debt — United Kingdom The form (proof of debt general form) on which a creditor submits details of its claim in a liquidation. In an administration, there is no prescribed proof of debt form but in practice administrators adopt the format of the proof… … Law dictionary
